Über zulässige Anfangswertaufgaben für quasi lineare partielle Differentialgleichungssysteme ersten Ordnung mit einer unbekannten Funktion
نویسندگان
چکیده
منابع مشابه
Neue Anwendung von SPQR-Bäumen im Graphenzeichnen
Wir untersuchen zwei Probleme auf dem Gebiet des Zeichnens von Graphen. Bei beiden Problemen geht es darum, eine Funktion über der Menge aller Einbettungen eines planaren Graphen zu optimieren und wir verwenden jeweils SPQRBäume um die Probleme zu lösen. Das erste von uns betrachtete Problem ist das Einfügen einer zusätzlichen Kante in einen planaren Graphen mit möglichst wenigen Kreuzungen. Di...
متن کاملFormale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS
Using the synthesis approach of Manna and Waldinger, a formally specified and verified control circuitery for a production cell was developped. Building an appropriate formal language level, we could achieve a requirements specification to the informal description. We demonstrated that the paradigm of deductive synthesis can be applied to the development of complete verified systems, including ...
متن کاملVisuelle Datenflusssprache mit Kombinatoren höherer Ordnung
Modern software engineering deals with professional development of high quality software systems. Software quality and especially relative correctness of programs based on a specification can be determined by formal methods. At best a formal verification can be performed a posteriori on the basis of a complete program. This thesis investigates a constructive approach which generates programs co...
متن کاملPrognosesysteme für die Verkehrssicherheit mit Methoden des Soft-Computings am Beispiel einer Glätteprognose und einer Fahrzustandsbestimmung
In this work new prognosis systems for road safety are presented. The systems enable the entry and optimization of dynamic behavior in traffic consideration. To get such results an adaptation procedure was developed and tested by optimized weighting values of knowledge base of a fuzzy system. Furthermore in this work a procedure was developed, which is able to extend and optimize the knowledge ...
متن کاملTrajektorienfolgeregelung für parabolische partielle Differenzialgleichungen mit variablen Parametern (Tracking Control for Parabolic PDEs with Varying Parameters)
This paper deals with the tracking control design for systems governed by linear parabolic partial differential equations with spatially and temporally varying coefficients and boundary input. For the boundary feedback control the backstepping method is applied, which allows to determine an exponentially stabilizing state feedback controller such that the closed-loop system behaves in the nomin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annales Polonici Mathematici
سال: 1961
ISSN: 0066-2216,1730-6272
DOI: 10.4064/ap-10-2-135-150